1. A Short introduction to modal logic
پدیدآورنده : Mints, Grigori E.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Modality )Logic(
رده :
P
25
.
C28
No
.
30
2. A short introduction to intuitionistic logic
پدیدآورنده : Mints, Grigori E.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
47
.
M56S5
